Assurance of dynamic adaptation in distributed systems

نویسندگان

  • Karun N. Biyani
  • Sandeep S. Kulkarni
چکیده

Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or removing components. In these type of adaptations, components are often added to or removed from multiple processes in the system. As a result, during adaptation, the system may consist of both changed and unchanged processes, causing old and new components to overlap. This overlapping of components during adaptation may induce cross-component communication, which may lead to behavior during adaptation that is unpredictable and/or undesirable. In this paper, we discuss an approach to model and verify overlap adaptation. We use transitional-invariant lattice and transitional-faultspan lattice to verify correctness of adaptation in absence and presence of faults, respectively. We also discuss framework to support implementation of overlap adaptation.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Dynamic Planning the Expansion of Electric Energy Distribution Systems Considering Distributed Generation Resources in the Presence of Power Demand Uncertainty

In this paper, a new strategy based on a dynamic (time-based) model is proposed for expansion planning of electrical energy distribution systems, taking into account distributed generation resources and advantage of the techno-economic approach. In addition to optimal placement and capacity, the proposed model is able to determine the timing of installation / reinforcement of expansion options....

متن کامل

a Simplified Model of Distributed Parameter Systems

A generalized simplified model for describing the dynamic behavior of distributed parameter systems is proposed. The various specific characteristics of gain and phase angle of distributed parameter systems are investigated from frequency response formulation and complex plane representation of the proposed simplified model. The complex plane investigation renders some important inequality cons...

متن کامل

Studying Dynamic behavior of Distributed Parameter Processes Behavior Based on Dominant Gain Concept and it’s Use in Controlling these Processes

In this paper, distributed parameter process systems behavior is studied in frequency domain. Based on the dominant gain concept that is developed for such studies, a method is presented to control distributed parameter process systems. By using dominant gain concept, the location of open loop zeros, resulted from the time delay parameter in the process model, were changed from the right half p...

متن کامل

Fuzzy Control of Fuel Cell Distributed Generation Systems

The operation of Fuel Cell Distributed Generation (FCDG) systems in distribution systems is introduced by modeling, controller design, and simulation study of a Solid Oxide Fuel Cell (SOFC) distributed generation (DG) system. The physical model of the fuel cell stack and dynamic models of power conditioning units are described. Then, suitable control architecture based on fuzzy logic contro...

متن کامل

CC4J – Code Coverage for Java A Load-Time Adaptation Success Story

Code coverage and tracing are extremely important for quality assurance in large scale software projects. When Java components are required to be deployed in distributed dynamic environments, e.g. as a part of an application server, load-time adaptation is the only practicable method capable of instrumenting these facilities. Load-time adaptation is, however, a relatively new technology whose s...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Parallel Distrib. Comput.

دوره 68  شماره 

صفحات  -

تاریخ انتشار 2008